Temporal theory - PDFSEARCH.IO - Document Search Engine

Temporal theory
Results: 595

#	Item
101	TPC-BiH: A Benchmark for Bitemporal Databases Martin Kaufmann, Peter M. Fischer, Norman May, Donald Kossmann August 26th, 2013 Add to Reading List Source URL: www.tpc.org Language: English - Date: 2013-09-24 14:06:53 Database theory Temporal database Transaction processing Transaction Processing Performance Council Data Bitemporal data Richard T. Snodgrass ETH Zurich Benchmark Database management systems Data management Computing
102	Decision Procedures for CTL∗ Oliver Friedmann and Markus Latte Dept. of Computer Science, University of Munich, Germany Abstract. We give an overview over three serious attempts to devise an eﬀective decision method Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics CTL* Method of analytic tableaux Formal language Model checking Temporal logic Finite-state machine Tree automaton Powerset construction Automata theory Theoretical computer science Applied mathematics
103	Structured Recurrent Temporal Restricted Boltzmann Machines Roni Mittelman† RMITTELM @ UMICH . EDU Benjamin Kuipers† KUIPERS @ UMICH . EDU Add to Reading List Source URL: cvgl.stanford.edu Language: English - Date: 2014-05-27 22:26:28 Hidden Markov model Ludwig Boltzmann Science Academia Physics Boltzmann machine Partition function Model theory
104	Theories of coalitional rationality∗ Attila Ambrus† Abstract This paper generalizes the concept of best response to coalitions of players and oﬀers epistemic definitions of coalitional rationalizability in normal f Add to Reading List Source URL: public.econ.duke.edu Language: English - Date: 2012-08-28 11:36:22 Science Cooperative game Sheaf Function Entailment Interpretation Nash equilibrium Solution concept Linear temporal logic Logic Game theory Mathematics
105	Lenient Frequency Adjusted Q-learning Daan Bloembergen Michael Kaisers Karl Tuyls Add to Reading List Source URL: michaelkaisers.com Language: English - Date: 2012-04-29 08:03:24 Mathematics Q-learning Reinforcement learning Evolutionary game theory Temporal difference learning Nash equilibrium Replicator equation Multi-agent system Outcome Game theory Science Problem solving
106	Verifying Temporal Heap Properties Specified via Evolution Logic? Eran Yahav1 , Thomas Reps2 , Mooly Sagiv1 , and Reinhard Wilhelm3 1 School of Comp. Sci., Tel-Aviv Univ., Tel-Aviv, Israel, {yahave,msagiv}@post.tau.ac.i Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-11-16 12:33:58 Philosophical logic Model theory First-order logic FO Linear temporal logic Modal logic Abstract interpretation Mereology Tiny Encryption Algorithm Logic Mathematical logic Predicate logic
107	The Unmaking of Marx’s Capital Heinrich’s Attempt to Eliminate Marx’s Crisis Theory by Andrew Kliman, Alan Freeman, Nick Potts, Alexey Gusev, and Brendan Cooney 1 Add to Reading List Source URL: thenextrecession.files.wordpress.com Language: English - Date: 2015-05-19 02:38:14 Philosophy Temporal single-system interpretation Tendency of the rate of profit to fall Nobuo Okishio Crisis theory Surplus value Andrew Kliman Das Kapital Marxian economics Marxist theory Marxism Economics
108	2011 18th IEEE International Conference on Image Processing THEORETICAL CONSIDERATION OF GLOBAL MOTION TEMPORAL FILTERING Andreas Krutz, Alexander Glantz, and Thomas Sikora Communication Systems Group Technische Univers Add to Reading List Source URL: elvera.nue.tu-berlin.de Language: English - Date: 2011-09-16 04:22:28 Signal processing Statistical inference Motion compensation Variance Statistics Data analysis Estimation theory
109	Synthesis of Reactive Systems Jens Regenberg <> IV Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:27:20 Formal methods Büchi automaton Ω-automaton Linear temporal logic SIGNAL Powerset construction Automata theory Theoretical computer science Computer science
110	A Solver for Modal Fixpoint Logics Oliver Friedmann Martin Lange Dept. of Computer Science University of Munich Munich, Germany Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics Non-classical logic Logic in computer science Modal logic Philosophical logic Temporal logic Model checking Parity game Ω-automaton Logic Mathematical logic Automata theory

UPDATE